Compiler - Supported Portable , Fault - Tolerant File - I

Igor Lyubashevskiy and Volker Strumpen Laboratory for Computer Science Massachusetts Institute of Technology figorlord,[email protected] Abstract—The ftIO-system provides portable and faulttolerant file-I/O by enhancing the functionality of the ANSI C file system without changing its application programmer interface and without depending on system-specific implementations of the standard file operations. The ftIO-system is an extension of the porch compiler and its runtime system. The porch compiler automatically generates code to save bookkeeping information about ftIO’s transactional file operations in portable checkpoints. These portable checkpoints can be recovered on a binary incompatible architecture. We developed a new algorithm for supporting transactional file operations in ftIO. Rather than using the wellknown two-phase commit protocol, this algorithm uses only a single bit of information and an atomic renamefile operation to guarantee fault tolerance. In this paper, we describe our new ftIO algorithm, discuss design choices for ftIO, and provide experimental data of our ftIO prototype.